package entities.vocabulary;

public class Display {

	private Display() {
	}
	public static final String COMMENTS = "#";
	public static final String QUERYSYMBOL = "?";
	public static final String EMPTYSETUNICODE = "\u2205";
	public static final String ABOXUNICODE = "\u1e00";
	public static final String TBOXUNICODE = "\u1e6c";
	public static final String KBUNICODE = "\u1e32";
	//for axioms
	public static final String MODELSUNICODE = "\u22A8";
	public static final String MODELSNOTUNICODE = "\u22AD";
	public static final String IMPLIESUNICODE = "\u2291";
	public static final String EQAXIOMUNICODE = "\u225D"; //or \u2261
	public static final String SOMEUNICODE = "\u2203";
	public static final String TOPUNICODE = "\u22a4";
	public static final String BOTTOMUNICODE = "\u22a5";
	public static final String ALLUNICODE = "\u2200";
	public static final String ANDUNICODE = "\u2293";
	public static final String ORUNICODE = "\u2294";
	public static final String NOTUNICODE = "\u00ac";

	//for queries
	public static final String QSCANUNICODE = "\u1E68"+"can";
	public static final String QPROJECTIONUNICODE = "\u03A0";
	public static final String QSELECTIONUNICODE = "\u03C3";
	public static final String QPIUNICODE = "PI";

	
}
